Sheaves in geometry and logic : a first introduction to topos theory
Saunders Mac Lane, Ieke Moerdijk.
New York : Springer-Verlag, ©1992.
xii, 627 págs. : ilustraciones ; 24 cm.
Serie: Universitext
ISBN: 0387977104 (New York : acid-free paper)
Incluye referencias bibliográficas (p. 605-614) e índice.